Computation tree - PDFSEARCH.IO - Document Search Engine

Computation tree
Results: 129

#	Item
11	1 Distributional Learning and Context/Substructure Enumerability in Nonlinear Tree Grammars Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2016-03-21 01:41:35 Computability theory Recursively enumerable set Theory of computation Formal languages Spectral theory
12	Representational Complexity of Reactive Agents Frederick W. P. Heckel, Member, IEEE, G. Michael Youngblood, Member, IEEE, and Nikhil S. Ketkar Abstract— Reactive agents are an important part of video games and numerous Add to Reading List Source URL: game.itu.dk Language: English Artificial intelligence Software architecture Software engineering Cognitive architecture Automated planning and scheduling Cognitive science Subsumption architecture Models of computation Behavior tree Finite-state machine Intelligent agent Agent architecture
13	Extended Computation Tree Logic Roland Axelsson1 , Matthew Hague2 , Stephan Kreutzer2 , Martin Lange3 , and Markus Latte1 1 Department of Computer Science, Ludwig-Maximilians-Universit¨ Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English - Date: 2013-02-08 18:19:59
14	Extended Computation Tree Logic Roland Axelsson1 , Matthew Hague2 , Stephan Kreutzer2 , Martin Lange3 , and Markus Latte1 1 3 Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English - Date: 2013-02-08 18:19:59
15	Extended Computation Tree Logic Roland Axelsson1 , Matthew Hague2 , Stephan Kreutzer2 , Martin Lange3 , and Markus Latte1 1 3 Add to Reading List Source URL: logic.las.tu-berlin.de Language: English - Date: 2015-06-17 12:07:40
16	Incremental Semantic Role Labeling with Tree Adjoining Grammar Ioannis Konstas? , Frank Keller? , Vera Demberg† and Mirella Lapata? ?: Institute for Language, Cognition and Computation School of Informatics, University Add to Reading List Source URL: emnlp2014.org Language: English - Date: 2014-10-16 05:18:54
17	JFP): 218–283, c Cambridge University Press 2014 ⃝ 218 Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Models of computation Formal languages Pushdown automaton Finite automata Nondeterministic finite automaton Computability Abstract interpretation Context-free language Symbol Nested stack automaton Tree stack automaton
18	Property Testing: A Learning Theory Perspective Dana Ron∗ School of EE Tel-Aviv University Ramat Aviv, Israel Add to Reading List Source URL: www.eng.tau.ac.il Language: English - Date: 2009-05-02 11:33:29 Machine learning Computational complexity theory Theoretical computer science Applied mathematics Learning Models of computation Property testing Decision tree model Sample complexity PP Probability distribution Time complexity
19	PowerGraph: Distributed Graph-Parallel Computation on Natural Graphs Joseph E. Gonzalez Carnegie Mellon University Yucheng Low Add to Reading List Source URL: www.usenix.org Language: English Graph theory Graph Vertex Degree Connected component Distance Planar separator theorem Tree
20	Parametric Computation Tree Logic with Knowledge A. V. Jones1 , A. Lomuscio1 , M. Knapik2,3 , and W. Penczek2,4 1 Department of Computing, Imperial College London, UK Add to Reading List Source URL: csp2011.mimuw.edu.pl Language: English - Date: 2011-09-01 11:05:18